(1) CpxTrsMatchBoundsProof (EQUIVALENT transformation)
A linear upper bound on the runtime complexity of the TRS R could be shown with a Match Bound [MATCHBOUNDS1,MATCHBOUNDS2] of 2.
The certificate found is represented by the following graph.
Start state: 1086
Accept states: [1087]
Transitions:
1086→1087[0_1|0]
1086→1086[1_1|0, 2_1|0]
1086→1088[2_1|1]
1086→1097[2_1|1]
1086→1109[2_1|1]
1086→1124[2_1|1]
1086→1142[2_1|1]
1086→1163[2_1|1]
1088→1089[1_1|1]
1089→1090[0_1|1]
1090→1091[2_1|1]
1091→1092[1_1|1]
1092→1093[0_1|1]
1093→1094[1_1|1]
1094→1095[1_1|1]
1095→1096[2_1|1]
1096→1087[1_1|1]
1096→1090[1_1|1]
1096→1099[1_1|1]
1096→1111[1_1|1]
1096→1126[1_1|1]
1096→1144[1_1|1]
1096→1165[1_1|1]
1096→1187[2_1|2]
1096→1196[2_1|2]
1096→1208[2_1|2]
1096→1223[2_1|2]
1096→1241[2_1|2]
1096→1262[2_1|2]
1097→1098[1_1|1]
1098→1099[0_1|1]
1099→1100[2_1|1]
1100→1101[1_1|1]
1101→1102[0_1|1]
1102→1103[2_1|1]
1103→1104[1_1|1]
1104→1105[0_1|1]
1105→1106[1_1|1]
1106→1107[1_1|1]
1107→1108[2_1|1]
1108→1087[1_1|1]
1108→1090[1_1|1]
1108→1099[1_1|1]
1108→1111[1_1|1]
1108→1126[1_1|1]
1108→1144[1_1|1]
1108→1165[1_1|1]
1108→1187[2_1|2]
1108→1196[2_1|2]
1108→1208[2_1|2]
1108→1223[2_1|2]
1108→1241[2_1|2]
1108→1262[2_1|2]
1109→1110[1_1|1]
1110→1111[0_1|1]
1111→1112[2_1|1]
1112→1113[1_1|1]
1113→1114[0_1|1]
1114→1115[2_1|1]
1115→1116[1_1|1]
1116→1117[0_1|1]
1117→1118[2_1|1]
1118→1119[1_1|1]
1119→1120[0_1|1]
1120→1121[1_1|1]
1121→1122[1_1|1]
1122→1123[2_1|1]
1123→1087[1_1|1]
1123→1090[1_1|1]
1123→1099[1_1|1]
1123→1111[1_1|1]
1123→1126[1_1|1]
1123→1144[1_1|1]
1123→1165[1_1|1]
1123→1187[2_1|2]
1123→1196[2_1|2]
1123→1208[2_1|2]
1123→1223[2_1|2]
1123→1241[2_1|2]
1123→1262[2_1|2]
1124→1125[1_1|1]
1125→1126[0_1|1]
1126→1127[2_1|1]
1127→1128[1_1|1]
1128→1129[0_1|1]
1129→1130[2_1|1]
1130→1131[1_1|1]
1131→1132[0_1|1]
1132→1133[2_1|1]
1133→1134[1_1|1]
1134→1135[0_1|1]
1135→1136[2_1|1]
1136→1137[1_1|1]
1137→1138[0_1|1]
1138→1139[1_1|1]
1139→1140[1_1|1]
1140→1141[2_1|1]
1141→1087[1_1|1]
1141→1090[1_1|1]
1141→1099[1_1|1]
1141→1111[1_1|1]
1141→1126[1_1|1]
1141→1144[1_1|1]
1141→1165[1_1|1]
1141→1187[2_1|2]
1141→1196[2_1|2]
1141→1208[2_1|2]
1141→1223[2_1|2]
1141→1241[2_1|2]
1141→1262[2_1|2]
1142→1143[1_1|1]
1143→1144[0_1|1]
1144→1145[2_1|1]
1145→1146[1_1|1]
1146→1147[0_1|1]
1147→1148[2_1|1]
1148→1149[1_1|1]
1149→1150[0_1|1]
1150→1151[2_1|1]
1151→1152[1_1|1]
1152→1153[0_1|1]
1153→1154[2_1|1]
1154→1155[1_1|1]
1155→1156[0_1|1]
1156→1157[2_1|1]
1157→1158[1_1|1]
1158→1159[0_1|1]
1159→1160[1_1|1]
1160→1161[1_1|1]
1161→1162[2_1|1]
1162→1087[1_1|1]
1162→1090[1_1|1]
1162→1099[1_1|1]
1162→1111[1_1|1]
1162→1126[1_1|1]
1162→1144[1_1|1]
1162→1165[1_1|1]
1162→1187[2_1|2]
1162→1196[2_1|2]
1162→1208[2_1|2]
1162→1223[2_1|2]
1162→1241[2_1|2]
1162→1262[2_1|2]
1163→1164[1_1|1]
1164→1165[0_1|1]
1165→1166[2_1|1]
1166→1167[1_1|1]
1167→1168[0_1|1]
1168→1169[2_1|1]
1169→1170[1_1|1]
1170→1171[0_1|1]
1171→1172[2_1|1]
1172→1173[1_1|1]
1173→1174[0_1|1]
1174→1175[2_1|1]
1175→1176[1_1|1]
1176→1177[0_1|1]
1177→1178[2_1|1]
1178→1179[1_1|1]
1179→1180[0_1|1]
1180→1181[2_1|1]
1181→1182[1_1|1]
1182→1183[0_1|1]
1183→1184[1_1|1]
1184→1185[1_1|1]
1185→1186[2_1|1]
1186→1087[1_1|1]
1186→1090[1_1|1]
1186→1099[1_1|1]
1186→1111[1_1|1]
1186→1126[1_1|1]
1186→1144[1_1|1]
1186→1165[1_1|1]
1186→1187[2_1|2]
1186→1196[2_1|2]
1186→1208[2_1|2]
1186→1223[2_1|2]
1186→1241[2_1|2]
1186→1262[2_1|2]
1187→1188[1_1|2]
1188→1189[0_1|2]
1189→1190[2_1|2]
1190→1191[1_1|2]
1191→1192[0_1|2]
1192→1193[1_1|2]
1193→1194[1_1|2]
1194→1195[2_1|2]
1195→1093[1_1|2]
1195→1102[1_1|2]
1195→1114[1_1|2]
1195→1129[1_1|2]
1195→1147[1_1|2]
1195→1168[1_1|2]
1195→1286[2_1|2]
1195→1295[2_1|2]
1195→1307[2_1|2]
1195→1322[2_1|2]
1195→1340[2_1|2]
1195→1361[2_1|2]
1196→1197[1_1|2]
1197→1198[0_1|2]
1198→1199[2_1|2]
1199→1200[1_1|2]
1200→1201[0_1|2]
1201→1202[2_1|2]
1202→1203[1_1|2]
1203→1204[0_1|2]
1204→1205[1_1|2]
1205→1206[1_1|2]
1206→1207[2_1|2]
1207→1093[1_1|2]
1207→1102[1_1|2]
1207→1114[1_1|2]
1207→1129[1_1|2]
1207→1147[1_1|2]
1207→1168[1_1|2]
1207→1286[2_1|2]
1207→1295[2_1|2]
1207→1307[2_1|2]
1207→1322[2_1|2]
1207→1340[2_1|2]
1207→1361[2_1|2]
1208→1209[1_1|2]
1209→1210[0_1|2]
1210→1211[2_1|2]
1211→1212[1_1|2]
1212→1213[0_1|2]
1213→1214[2_1|2]
1214→1215[1_1|2]
1215→1216[0_1|2]
1216→1217[2_1|2]
1217→1218[1_1|2]
1218→1219[0_1|2]
1219→1220[1_1|2]
1220→1221[1_1|2]
1221→1222[2_1|2]
1222→1093[1_1|2]
1222→1102[1_1|2]
1222→1114[1_1|2]
1222→1129[1_1|2]
1222→1147[1_1|2]
1222→1168[1_1|2]
1222→1286[2_1|2]
1222→1295[2_1|2]
1222→1307[2_1|2]
1222→1322[2_1|2]
1222→1340[2_1|2]
1222→1361[2_1|2]
1223→1224[1_1|2]
1224→1225[0_1|2]
1225→1226[2_1|2]
1226→1227[1_1|2]
1227→1228[0_1|2]
1228→1229[2_1|2]
1229→1230[1_1|2]
1230→1231[0_1|2]
1231→1232[2_1|2]
1232→1233[1_1|2]
1233→1234[0_1|2]
1234→1235[2_1|2]
1235→1236[1_1|2]
1236→1237[0_1|2]
1237→1238[1_1|2]
1238→1239[1_1|2]
1239→1240[2_1|2]
1240→1093[1_1|2]
1240→1102[1_1|2]
1240→1114[1_1|2]
1240→1129[1_1|2]
1240→1147[1_1|2]
1240→1168[1_1|2]
1240→1286[2_1|2]
1240→1295[2_1|2]
1240→1307[2_1|2]
1240→1322[2_1|2]
1240→1340[2_1|2]
1240→1361[2_1|2]
1241→1242[1_1|2]
1242→1243[0_1|2]
1243→1244[2_1|2]
1244→1245[1_1|2]
1245→1246[0_1|2]
1246→1247[2_1|2]
1247→1248[1_1|2]
1248→1249[0_1|2]
1249→1250[2_1|2]
1250→1251[1_1|2]
1251→1252[0_1|2]
1252→1253[2_1|2]
1253→1254[1_1|2]
1254→1255[0_1|2]
1255→1256[2_1|2]
1256→1257[1_1|2]
1257→1258[0_1|2]
1258→1259[1_1|2]
1259→1260[1_1|2]
1260→1261[2_1|2]
1261→1093[1_1|2]
1261→1102[1_1|2]
1261→1114[1_1|2]
1261→1129[1_1|2]
1261→1147[1_1|2]
1261→1168[1_1|2]
1261→1286[2_1|2]
1261→1295[2_1|2]
1261→1307[2_1|2]
1261→1322[2_1|2]
1261→1340[2_1|2]
1261→1361[2_1|2]
1262→1263[1_1|2]
1263→1264[0_1|2]
1264→1265[2_1|2]
1265→1266[1_1|2]
1266→1267[0_1|2]
1267→1268[2_1|2]
1268→1269[1_1|2]
1269→1270[0_1|2]
1270→1271[2_1|2]
1271→1272[1_1|2]
1272→1273[0_1|2]
1273→1274[2_1|2]
1274→1275[1_1|2]
1275→1276[0_1|2]
1276→1277[2_1|2]
1277→1278[1_1|2]
1278→1279[0_1|2]
1279→1280[2_1|2]
1280→1281[1_1|2]
1281→1282[0_1|2]
1282→1283[1_1|2]
1283→1284[1_1|2]
1284→1285[2_1|2]
1285→1093[1_1|2]
1285→1102[1_1|2]
1285→1114[1_1|2]
1285→1129[1_1|2]
1285→1147[1_1|2]
1285→1168[1_1|2]
1285→1286[2_1|2]
1285→1295[2_1|2]
1285→1307[2_1|2]
1285→1322[2_1|2]
1285→1340[2_1|2]
1285→1361[2_1|2]
1286→1287[1_1|2]
1287→1288[0_1|2]
1288→1289[2_1|2]
1289→1290[1_1|2]
1290→1291[0_1|2]
1291→1292[1_1|2]
1292→1293[1_1|2]
1293→1294[2_1|2]
1294→1105[1_1|2]
1294→1117[1_1|2]
1294→1132[1_1|2]
1294→1150[1_1|2]
1294→1171[1_1|2]
1294→1385[2_1|2]
1294→1394[2_1|2]
1294→1406[2_1|2]
1294→1421[2_1|2]
1294→1439[2_1|2]
1294→1460[2_1|2]
1295→1296[1_1|2]
1296→1297[0_1|2]
1297→1298[2_1|2]
1298→1299[1_1|2]
1299→1300[0_1|2]
1300→1301[2_1|2]
1301→1302[1_1|2]
1302→1303[0_1|2]
1303→1304[1_1|2]
1304→1305[1_1|2]
1305→1306[2_1|2]
1306→1105[1_1|2]
1306→1117[1_1|2]
1306→1132[1_1|2]
1306→1150[1_1|2]
1306→1171[1_1|2]
1306→1385[2_1|2]
1306→1394[2_1|2]
1306→1406[2_1|2]
1306→1421[2_1|2]
1306→1439[2_1|2]
1306→1460[2_1|2]
1307→1308[1_1|2]
1308→1309[0_1|2]
1309→1310[2_1|2]
1310→1311[1_1|2]
1311→1312[0_1|2]
1312→1313[2_1|2]
1313→1314[1_1|2]
1314→1315[0_1|2]
1315→1316[2_1|2]
1316→1317[1_1|2]
1317→1318[0_1|2]
1318→1319[1_1|2]
1319→1320[1_1|2]
1320→1321[2_1|2]
1321→1105[1_1|2]
1321→1117[1_1|2]
1321→1132[1_1|2]
1321→1150[1_1|2]
1321→1171[1_1|2]
1321→1385[2_1|2]
1321→1394[2_1|2]
1321→1406[2_1|2]
1321→1421[2_1|2]
1321→1439[2_1|2]
1321→1460[2_1|2]
1322→1323[1_1|2]
1323→1324[0_1|2]
1324→1325[2_1|2]
1325→1326[1_1|2]
1326→1327[0_1|2]
1327→1328[2_1|2]
1328→1329[1_1|2]
1329→1330[0_1|2]
1330→1331[2_1|2]
1331→1332[1_1|2]
1332→1333[0_1|2]
1333→1334[2_1|2]
1334→1335[1_1|2]
1335→1336[0_1|2]
1336→1337[1_1|2]
1337→1338[1_1|2]
1338→1339[2_1|2]
1339→1105[1_1|2]
1339→1117[1_1|2]
1339→1132[1_1|2]
1339→1150[1_1|2]
1339→1171[1_1|2]
1339→1385[2_1|2]
1339→1394[2_1|2]
1339→1406[2_1|2]
1339→1421[2_1|2]
1339→1439[2_1|2]
1339→1460[2_1|2]
1340→1341[1_1|2]
1341→1342[0_1|2]
1342→1343[2_1|2]
1343→1344[1_1|2]
1344→1345[0_1|2]
1345→1346[2_1|2]
1346→1347[1_1|2]
1347→1348[0_1|2]
1348→1349[2_1|2]
1349→1350[1_1|2]
1350→1351[0_1|2]
1351→1352[2_1|2]
1352→1353[1_1|2]
1353→1354[0_1|2]
1354→1355[2_1|2]
1355→1356[1_1|2]
1356→1357[0_1|2]
1357→1358[1_1|2]
1358→1359[1_1|2]
1359→1360[2_1|2]
1360→1105[1_1|2]
1360→1117[1_1|2]
1360→1132[1_1|2]
1360→1150[1_1|2]
1360→1171[1_1|2]
1360→1385[2_1|2]
1360→1394[2_1|2]
1360→1406[2_1|2]
1360→1421[2_1|2]
1360→1439[2_1|2]
1360→1460[2_1|2]
1361→1362[1_1|2]
1362→1363[0_1|2]
1363→1364[2_1|2]
1364→1365[1_1|2]
1365→1366[0_1|2]
1366→1367[2_1|2]
1367→1368[1_1|2]
1368→1369[0_1|2]
1369→1370[2_1|2]
1370→1371[1_1|2]
1371→1372[0_1|2]
1372→1373[2_1|2]
1373→1374[1_1|2]
1374→1375[0_1|2]
1375→1376[2_1|2]
1376→1377[1_1|2]
1377→1378[0_1|2]
1378→1379[2_1|2]
1379→1380[1_1|2]
1380→1381[0_1|2]
1381→1382[1_1|2]
1382→1383[1_1|2]
1383→1384[2_1|2]
1384→1105[1_1|2]
1384→1117[1_1|2]
1384→1132[1_1|2]
1384→1150[1_1|2]
1384→1171[1_1|2]
1384→1385[2_1|2]
1384→1394[2_1|2]
1384→1406[2_1|2]
1384→1421[2_1|2]
1384→1439[2_1|2]
1384→1460[2_1|2]
1385→1386[1_1|2]
1386→1387[0_1|2]
1387→1388[2_1|2]
1388→1389[1_1|2]
1389→1390[0_1|2]
1390→1391[1_1|2]
1391→1392[1_1|2]
1392→1393[2_1|2]
1393→1120[1_1|2]
1393→1135[1_1|2]
1393→1153[1_1|2]
1393→1174[1_1|2]
1393→1484[2_1|2]
1393→1493[2_1|2]
1393→1505[2_1|2]
1393→1520[2_1|2]
1393→1538[2_1|2]
1393→1559[2_1|2]
1394→1395[1_1|2]
1395→1396[0_1|2]
1396→1397[2_1|2]
1397→1398[1_1|2]
1398→1399[0_1|2]
1399→1400[2_1|2]
1400→1401[1_1|2]
1401→1402[0_1|2]
1402→1403[1_1|2]
1403→1404[1_1|2]
1404→1405[2_1|2]
1405→1120[1_1|2]
1405→1135[1_1|2]
1405→1153[1_1|2]
1405→1174[1_1|2]
1405→1484[2_1|2]
1405→1493[2_1|2]
1405→1505[2_1|2]
1405→1520[2_1|2]
1405→1538[2_1|2]
1405→1559[2_1|2]
1406→1407[1_1|2]
1407→1408[0_1|2]
1408→1409[2_1|2]
1409→1410[1_1|2]
1410→1411[0_1|2]
1411→1412[2_1|2]
1412→1413[1_1|2]
1413→1414[0_1|2]
1414→1415[2_1|2]
1415→1416[1_1|2]
1416→1417[0_1|2]
1417→1418[1_1|2]
1418→1419[1_1|2]
1419→1420[2_1|2]
1420→1120[1_1|2]
1420→1135[1_1|2]
1420→1153[1_1|2]
1420→1174[1_1|2]
1420→1484[2_1|2]
1420→1493[2_1|2]
1420→1505[2_1|2]
1420→1520[2_1|2]
1420→1538[2_1|2]
1420→1559[2_1|2]
1421→1422[1_1|2]
1422→1423[0_1|2]
1423→1424[2_1|2]
1424→1425[1_1|2]
1425→1426[0_1|2]
1426→1427[2_1|2]
1427→1428[1_1|2]
1428→1429[0_1|2]
1429→1430[2_1|2]
1430→1431[1_1|2]
1431→1432[0_1|2]
1432→1433[2_1|2]
1433→1434[1_1|2]
1434→1435[0_1|2]
1435→1436[1_1|2]
1436→1437[1_1|2]
1437→1438[2_1|2]
1438→1120[1_1|2]
1438→1135[1_1|2]
1438→1153[1_1|2]
1438→1174[1_1|2]
1438→1484[2_1|2]
1438→1493[2_1|2]
1438→1505[2_1|2]
1438→1520[2_1|2]
1438→1538[2_1|2]
1438→1559[2_1|2]
1439→1440[1_1|2]
1440→1441[0_1|2]
1441→1442[2_1|2]
1442→1443[1_1|2]
1443→1444[0_1|2]
1444→1445[2_1|2]
1445→1446[1_1|2]
1446→1447[0_1|2]
1447→1448[2_1|2]
1448→1449[1_1|2]
1449→1450[0_1|2]
1450→1451[2_1|2]
1451→1452[1_1|2]
1452→1453[0_1|2]
1453→1454[2_1|2]
1454→1455[1_1|2]
1455→1456[0_1|2]
1456→1457[1_1|2]
1457→1458[1_1|2]
1458→1459[2_1|2]
1459→1120[1_1|2]
1459→1135[1_1|2]
1459→1153[1_1|2]
1459→1174[1_1|2]
1459→1484[2_1|2]
1459→1493[2_1|2]
1459→1505[2_1|2]
1459→1520[2_1|2]
1459→1538[2_1|2]
1459→1559[2_1|2]
1460→1461[1_1|2]
1461→1462[0_1|2]
1462→1463[2_1|2]
1463→1464[1_1|2]
1464→1465[0_1|2]
1465→1466[2_1|2]
1466→1467[1_1|2]
1467→1468[0_1|2]
1468→1469[2_1|2]
1469→1470[1_1|2]
1470→1471[0_1|2]
1471→1472[2_1|2]
1472→1473[1_1|2]
1473→1474[0_1|2]
1474→1475[2_1|2]
1475→1476[1_1|2]
1476→1477[0_1|2]
1477→1478[2_1|2]
1478→1479[1_1|2]
1479→1480[0_1|2]
1480→1481[1_1|2]
1481→1482[1_1|2]
1482→1483[2_1|2]
1483→1120[1_1|2]
1483→1135[1_1|2]
1483→1153[1_1|2]
1483→1174[1_1|2]
1483→1484[2_1|2]
1483→1493[2_1|2]
1483→1505[2_1|2]
1483→1520[2_1|2]
1483→1538[2_1|2]
1483→1559[2_1|2]
1484→1485[1_1|2]
1485→1486[0_1|2]
1486→1487[2_1|2]
1487→1488[1_1|2]
1488→1489[0_1|2]
1489→1490[1_1|2]
1490→1491[1_1|2]
1491→1492[2_1|2]
1492→1138[1_1|2]
1492→1156[1_1|2]
1492→1177[1_1|2]
1492→1583[2_1|2]
1492→1592[2_1|2]
1492→1604[2_1|2]
1492→1619[2_1|2]
1492→1637[2_1|2]
1492→1658[2_1|2]
1493→1494[1_1|2]
1494→1495[0_1|2]
1495→1496[2_1|2]
1496→1497[1_1|2]
1497→1498[0_1|2]
1498→1499[2_1|2]
1499→1500[1_1|2]
1500→1501[0_1|2]
1501→1502[1_1|2]
1502→1503[1_1|2]
1503→1504[2_1|2]
1504→1138[1_1|2]
1504→1156[1_1|2]
1504→1177[1_1|2]
1504→1583[2_1|2]
1504→1592[2_1|2]
1504→1604[2_1|2]
1504→1619[2_1|2]
1504→1637[2_1|2]
1504→1658[2_1|2]
1505→1506[1_1|2]
1506→1507[0_1|2]
1507→1508[2_1|2]
1508→1509[1_1|2]
1509→1510[0_1|2]
1510→1511[2_1|2]
1511→1512[1_1|2]
1512→1513[0_1|2]
1513→1514[2_1|2]
1514→1515[1_1|2]
1515→1516[0_1|2]
1516→1517[1_1|2]
1517→1518[1_1|2]
1518→1519[2_1|2]
1519→1138[1_1|2]
1519→1156[1_1|2]
1519→1177[1_1|2]
1519→1583[2_1|2]
1519→1592[2_1|2]
1519→1604[2_1|2]
1519→1619[2_1|2]
1519→1637[2_1|2]
1519→1658[2_1|2]
1520→1521[1_1|2]
1521→1522[0_1|2]
1522→1523[2_1|2]
1523→1524[1_1|2]
1524→1525[0_1|2]
1525→1526[2_1|2]
1526→1527[1_1|2]
1527→1528[0_1|2]
1528→1529[2_1|2]
1529→1530[1_1|2]
1530→1531[0_1|2]
1531→1532[2_1|2]
1532→1533[1_1|2]
1533→1534[0_1|2]
1534→1535[1_1|2]
1535→1536[1_1|2]
1536→1537[2_1|2]
1537→1138[1_1|2]
1537→1156[1_1|2]
1537→1177[1_1|2]
1537→1583[2_1|2]
1537→1592[2_1|2]
1537→1604[2_1|2]
1537→1619[2_1|2]
1537→1637[2_1|2]
1537→1658[2_1|2]
1538→1539[1_1|2]
1539→1540[0_1|2]
1540→1541[2_1|2]
1541→1542[1_1|2]
1542→1543[0_1|2]
1543→1544[2_1|2]
1544→1545[1_1|2]
1545→1546[0_1|2]
1546→1547[2_1|2]
1547→1548[1_1|2]
1548→1549[0_1|2]
1549→1550[2_1|2]
1550→1551[1_1|2]
1551→1552[0_1|2]
1552→1553[2_1|2]
1553→1554[1_1|2]
1554→1555[0_1|2]
1555→1556[1_1|2]
1556→1557[1_1|2]
1557→1558[2_1|2]
1558→1138[1_1|2]
1558→1156[1_1|2]
1558→1177[1_1|2]
1558→1583[2_1|2]
1558→1592[2_1|2]
1558→1604[2_1|2]
1558→1619[2_1|2]
1558→1637[2_1|2]
1558→1658[2_1|2]
1559→1560[1_1|2]
1560→1561[0_1|2]
1561→1562[2_1|2]
1562→1563[1_1|2]
1563→1564[0_1|2]
1564→1565[2_1|2]
1565→1566[1_1|2]
1566→1567[0_1|2]
1567→1568[2_1|2]
1568→1569[1_1|2]
1569→1570[0_1|2]
1570→1571[2_1|2]
1571→1572[1_1|2]
1572→1573[0_1|2]
1573→1574[2_1|2]
1574→1575[1_1|2]
1575→1576[0_1|2]
1576→1577[2_1|2]
1577→1578[1_1|2]
1578→1579[0_1|2]
1579→1580[1_1|2]
1580→1581[1_1|2]
1581→1582[2_1|2]
1582→1138[1_1|2]
1582→1156[1_1|2]
1582→1177[1_1|2]
1582→1583[2_1|2]
1582→1592[2_1|2]
1582→1604[2_1|2]
1582→1619[2_1|2]
1582→1637[2_1|2]
1582→1658[2_1|2]
1583→1584[1_1|2]
1584→1585[0_1|2]
1585→1586[2_1|2]
1586→1587[1_1|2]
1587→1588[0_1|2]
1588→1589[1_1|2]
1589→1590[1_1|2]
1590→1591[2_1|2]
1591→1159[1_1|2]
1591→1180[1_1|2]
1591→1682[2_1|2]
1591→1691[2_1|2]
1591→1703[2_1|2]
1591→1718[2_1|2]
1591→1736[2_1|2]
1591→1757[2_1|2]
1592→1593[1_1|2]
1593→1594[0_1|2]
1594→1595[2_1|2]
1595→1596[1_1|2]
1596→1597[0_1|2]
1597→1598[2_1|2]
1598→1599[1_1|2]
1599→1600[0_1|2]
1600→1601[1_1|2]
1601→1602[1_1|2]
1602→1603[2_1|2]
1603→1159[1_1|2]
1603→1180[1_1|2]
1603→1682[2_1|2]
1603→1691[2_1|2]
1603→1703[2_1|2]
1603→1718[2_1|2]
1603→1736[2_1|2]
1603→1757[2_1|2]
1604→1605[1_1|2]
1605→1606[0_1|2]
1606→1607[2_1|2]
1607→1608[1_1|2]
1608→1609[0_1|2]
1609→1610[2_1|2]
1610→1611[1_1|2]
1611→1612[0_1|2]
1612→1613[2_1|2]
1613→1614[1_1|2]
1614→1615[0_1|2]
1615→1616[1_1|2]
1616→1617[1_1|2]
1617→1618[2_1|2]
1618→1159[1_1|2]
1618→1180[1_1|2]
1618→1682[2_1|2]
1618→1691[2_1|2]
1618→1703[2_1|2]
1618→1718[2_1|2]
1618→1736[2_1|2]
1618→1757[2_1|2]
1619→1620[1_1|2]
1620→1621[0_1|2]
1621→1622[2_1|2]
1622→1623[1_1|2]
1623→1624[0_1|2]
1624→1625[2_1|2]
1625→1626[1_1|2]
1626→1627[0_1|2]
1627→1628[2_1|2]
1628→1629[1_1|2]
1629→1630[0_1|2]
1630→1631[2_1|2]
1631→1632[1_1|2]
1632→1633[0_1|2]
1633→1634[1_1|2]
1634→1635[1_1|2]
1635→1636[2_1|2]
1636→1159[1_1|2]
1636→1180[1_1|2]
1636→1682[2_1|2]
1636→1691[2_1|2]
1636→1703[2_1|2]
1636→1718[2_1|2]
1636→1736[2_1|2]
1636→1757[2_1|2]
1637→1638[1_1|2]
1638→1639[0_1|2]
1639→1640[2_1|2]
1640→1641[1_1|2]
1641→1642[0_1|2]
1642→1643[2_1|2]
1643→1644[1_1|2]
1644→1645[0_1|2]
1645→1646[2_1|2]
1646→1647[1_1|2]
1647→1648[0_1|2]
1648→1649[2_1|2]
1649→1650[1_1|2]
1650→1651[0_1|2]
1651→1652[2_1|2]
1652→1653[1_1|2]
1653→1654[0_1|2]
1654→1655[1_1|2]
1655→1656[1_1|2]
1656→1657[2_1|2]
1657→1159[1_1|2]
1657→1180[1_1|2]
1657→1682[2_1|2]
1657→1691[2_1|2]
1657→1703[2_1|2]
1657→1718[2_1|2]
1657→1736[2_1|2]
1657→1757[2_1|2]
1658→1659[1_1|2]
1659→1660[0_1|2]
1660→1661[2_1|2]
1661→1662[1_1|2]
1662→1663[0_1|2]
1663→1664[2_1|2]
1664→1665[1_1|2]
1665→1666[0_1|2]
1666→1667[2_1|2]
1667→1668[1_1|2]
1668→1669[0_1|2]
1669→1670[2_1|2]
1670→1671[1_1|2]
1671→1672[0_1|2]
1672→1673[2_1|2]
1673→1674[1_1|2]
1674→1675[0_1|2]
1675→1676[2_1|2]
1676→1677[1_1|2]
1677→1678[0_1|2]
1678→1679[1_1|2]
1679→1680[1_1|2]
1680→1681[2_1|2]
1681→1159[1_1|2]
1681→1180[1_1|2]
1681→1682[2_1|2]
1681→1691[2_1|2]
1681→1703[2_1|2]
1681→1718[2_1|2]
1681→1736[2_1|2]
1681→1757[2_1|2]
1682→1683[1_1|2]
1683→1684[0_1|2]
1684→1685[2_1|2]
1685→1686[1_1|2]
1686→1687[0_1|2]
1687→1688[1_1|2]
1688→1689[1_1|2]
1689→1690[2_1|2]
1690→1183[1_1|2]
1691→1692[1_1|2]
1692→1693[0_1|2]
1693→1694[2_1|2]
1694→1695[1_1|2]
1695→1696[0_1|2]
1696→1697[2_1|2]
1697→1698[1_1|2]
1698→1699[0_1|2]
1699→1700[1_1|2]
1700→1701[1_1|2]
1701→1702[2_1|2]
1702→1183[1_1|2]
1703→1704[1_1|2]
1704→1705[0_1|2]
1705→1706[2_1|2]
1706→1707[1_1|2]
1707→1708[0_1|2]
1708→1709[2_1|2]
1709→1710[1_1|2]
1710→1711[0_1|2]
1711→1712[2_1|2]
1712→1713[1_1|2]
1713→1714[0_1|2]
1714→1715[1_1|2]
1715→1716[1_1|2]
1716→1717[2_1|2]
1717→1183[1_1|2]
1718→1719[1_1|2]
1719→1720[0_1|2]
1720→1721[2_1|2]
1721→1722[1_1|2]
1722→1723[0_1|2]
1723→1724[2_1|2]
1724→1725[1_1|2]
1725→1726[0_1|2]
1726→1727[2_1|2]
1727→1728[1_1|2]
1728→1729[0_1|2]
1729→1730[2_1|2]
1730→1731[1_1|2]
1731→1732[0_1|2]
1732→1733[1_1|2]
1733→1734[1_1|2]
1734→1735[2_1|2]
1735→1183[1_1|2]
1736→1737[1_1|2]
1737→1738[0_1|2]
1738→1739[2_1|2]
1739→1740[1_1|2]
1740→1741[0_1|2]
1741→1742[2_1|2]
1742→1743[1_1|2]
1743→1744[0_1|2]
1744→1745[2_1|2]
1745→1746[1_1|2]
1746→1747[0_1|2]
1747→1748[2_1|2]
1748→1749[1_1|2]
1749→1750[0_1|2]
1750→1751[2_1|2]
1751→1752[1_1|2]
1752→1753[0_1|2]
1753→1754[1_1|2]
1754→1755[1_1|2]
1755→1756[2_1|2]
1756→1183[1_1|2]
1757→1758[1_1|2]
1758→1759[0_1|2]
1759→1760[2_1|2]
1760→1761[1_1|2]
1761→1762[0_1|2]
1762→1763[2_1|2]
1763→1764[1_1|2]
1764→1765[0_1|2]
1765→1766[2_1|2]
1766→1767[1_1|2]
1767→1768[0_1|2]
1768→1769[2_1|2]
1769→1770[1_1|2]
1770→1771[0_1|2]
1771→1772[2_1|2]
1772→1773[1_1|2]
1773→1774[0_1|2]
1774→1775[2_1|2]
1775→1776[1_1|2]
1776→1777[0_1|2]
1777→1778[1_1|2]
1778→1779[1_1|2]
1779→1780[2_1|2]
1780→1183[1_1|2]